|
|
Pervasive Computing and the Networked World
by Zu, Qiaohong.
Publication:
. XXII, 921 p. 434 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development X
by Leavens, Gary T.
Publication:
. XII, 185 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012: Parallel Processing Workshops
by Caragiannis, Ioannis.
Publication:
. XXIV, 589 p. 232 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
by Clarke, Dave.
Publication:
. VIII, 515 p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Tribastone, Mirco.
Publication:
. X, 253 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Analysis and Modeling: Theory and Practice
by Haugen, Øystein.
Publication:
. X, 249 p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Csuhaj-Varjú, Erzsébet.
Publication:
. XII, 425 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Topics in Performance Evaluation and Benchmarking
by Nambiar, Raghunath.
Publication:
. XIV, 209 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Demeester, Piet.
Publication:
. X, 197 p. 116 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Secure Software and Systems
by Jürjens, Jan.
Publication:
. XII, 231 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems – ARCS 2013
by Kubátová, Hana.
Publication:
. XIV, 354 p. 146 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Glück, Robert.
Publication:
. X, 241 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Assurances for Self-Adaptive Systems
by Cámara, Javier.
Publication:
. X, 341 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Radio Frequency Identification. Security and Privacy Issues
by Hoepman, Jaap-Henk.
Publication:
. X, 181 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Construction and Evolution of Code Generators
by Jörges, Sven.
Publication:
. XXIV, 246 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Czarnecki, Krzysztof.
Publication:
. XII, 413 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering
by Lucia, Andrea.
Publication:
. X, 237 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical and Engineering Methods in Computer Science
by Kučera, Antonín.
Publication:
. XII, 213 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering IV
by Lämmel, Ralf.
Publication:
. XII, 449 p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|